<html>
<body>
Replaces an overloaded operator with a function call.
</body>
</html>